high-order predicate calculus
[计] 高阶谓词演算
热门查询
- longshore adj. 沿岸的；在海岸工作的 adv. 沿岸
- schematically adv. 计划性地；按照图式
- fruitless adj. 不成功的，徒劳的；不结果实的
- newsman n. 新闻记者；送报者
- tia abbr. 先谢了（Thanks In Advance）
- caste n. （印度社会中的）种姓；（具有严格等级差别的）社会地位；（排他的）社会团体 n. (Caste)人名；(英、法)卡斯特
- oi n. 操作说明 abbr. 氧气指数（Oxygen Index） n. (Oi)人名；(柬)维
- schoolyard n. 校园；运动场
- nippy adj. 刺骨的；锐利的；凛冽的；漂亮的
- Dumont 杜蒙蓝色料; [人名] 杜蒙; [地名] [巴西、美国] 杜蒙特
- haggle n. 讨价还价；争论 vi. 争论；乱劈 vt. 乱劈；乱砍
- rive vt. 撕开；使沮丧 vi. 裂开；破裂 n. (Rive)人名；(西、德)里韦；(法)里夫；(英)赖夫
- head start n. 起步前的优势 [网络] 领先；抢得先机；开端
- powered n. 促进（power的过去分词）；给…提供动力 adj. 有动力装置的；以…为动力的
- motormouth 说话快并且健谈
- saltpeter n. 硝石；硝酸钾
- widgeon n. [鸟] 野鸭，水凫；赤颈凫
- cardiorespiratory adj. 心和肺的
- pall n. 幕；棺罩；遮盖物 vt. 覆盖；使乏味 vi. 走味 n. (Pall)人名；(英、德、罗、瑞典)帕尔
- gabled adj. 有山形墙的；人字板制作的；三角墙的 v. 砌三角墙；形成三角墙（gable的过去分词）
